1. Verification of digital and hybrid systems
المؤلف: edited by M. Kemal Inan, Robert P. Kurshan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000

